Nuprl Definition : fun_exp
11,40
postcript
pdf
f
^
n
== primrec(
n
;
x
.
x
;
i
,
g
.
f
o
g
)
latex
Definitions
primrec(
n
;
b
;
c
)
,
x
.
A
(
x
)
,
f
o
g
FDL editor aliases
fun_exp
origin
x.x;i,g. f o g) x.x;i,g. f o g) x.A(x)